Contract agreements via logic
نویسندگان
چکیده
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability in the logical model.
منابع مشابه
Contracts in distributed systems
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happen...
متن کاملContract-Oriented Computing in CO2
We present CO2 , a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among participant...
متن کاملModelling Contracts Using RuleML
This paper presents an approach for the specification and implementation of e-contracts for Web monitoring. This is done in the setting of RuleML. We argue that monitoring contract execution requires also a logical account of deontic concepts and of violations. Accordingly, RuleML is extended to cover these aspects. 1 Background and Motivation Business contracts are mutual agreements between tw...
متن کاملApplying Non-Contractual Methods and Quantitative Terms to Increase the Durability of Long-Term Natural Gas Sale Agreements
The success of long-term gas sales contracts is largely related to the ability of the seller and the buyer to adapt the terms of the contract to their conditions, infrastructure, facilities and market. If the buyer's demand changes from season to season and seasonally fluctuates, problems and complexities arise for the seller and he may need to provide the excess capacity to produce, refine and...
متن کاملDeveloping a Framework for Accounting and Financial Management Procedures of Joint Operating Agreements (JOAs) in Iran's oil and gas industry
Regarding the contingency theory, the purpose of this research is to identify factors affecting the development of accounting and financial management procedures for joint operating agreements in Iran's oil and gas industry. To this end, at first, some partial factors were identified through deep study of theoretical foundations. Subsequently, in order to identify environmental factors, a semi-...
متن کامل